Qualitative analysis of dependability argument structure
نویسندگان
چکیده
منابع مشابه
Formalising Engineering Judgement on Software Dependability via Belief Networks
We present the use of Bayesian belief networks to formalise reasoning about software dependability, so as to make assessments easier to build and to check. Bayesian belief networks include a graphical representation of the structure of a complex argument, and a sound calculus for representing probabilistic information and updating it with new observations. We illustrate the method and show its ...
متن کاملDependability arguments with trusted bases Citation
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of the system’s components called trusted bases. This paper describes an idiom for modeling systems with trusted bases, and a technique for analyzing a dependability argument— the argument that a trusted base is sufficie...
متن کاملImproving Hazard Classification through the Reuse of Descriptive Arguments
Descriptive arguments are an intrinsic part of the process of determining the dependability of any system, particularly in the case of safety critical systems. For such systems, safety cases are constructed to demonstrate that a system meets dependability requirements. This process includes the application of hazard analysis techniques. However, such techniques are error-prone, time consuming a...
متن کاملDesign and Development of Dependability Case Architecture during System Development
A dependability case communicates an argument that a system will acceptably operate with respect to the stakeholders’ envisioned dependability requirements. We describe the use of the Goal Structuring Notation (an argumentation notation and methodology) for dependability case development to establish arguments supporting claims of achievement of the dependability requirements. At each stage of ...
متن کاملA Framework for Dependability Analysis of Software Systems with Trusted Bases
A new approach is suggested for arguing that a software system is dependable. The key idea is to structure the system so that highly critical requirements are localized in small subsets of the system called trusted bases. In most systems, the satisfaction of a requirement relies on assumptions about the environment, in addition to the behavior of software. Therefore, establishing a trusted base...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005